#ifndef _RANDOM32_H_
#define _RANDOM32_H_

#include <errno.h>
#include <limits.h>

#define PTR char *

#ifndef NULL
#define NULL (void *) 0
#endif

#ifdef __cplusplus
extern "C" {
#endif
void	srandom(long x);
long	random(void);
int		isRDTSCsupported(void);
void	_rand(unsigned char *buf, size_t size);


#ifdef __cplusplus
}
#endif

#endif _RANDOM32_H_
